A field extension with certain finiteness condition on multiplicative group extension

Extension on Regularity Condition in DEA Models

extension on regularity condition in dea models

co-prolongations of a group extension

the aim of this paper is to study co-prolongations of central extensions. we construct the obstruction theory forco-prolongations and classify the equivalence classes of these by kernels of homomorphisms between 2-dimensional cohomology groups of groups.

extension on regularity condition in dea models

0

A Non-commutative Extension of Multiplicative Exponential Linear Logic

We extend multiplicative exponential linear logic (MELL) by a noncommutative, self-dual logical operator. The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We are then able to extend the expressiveness of MELL by modelling a broad notion of sequentiality. W...